Z notation - PDFSEARCH.IO - Document Search Engine

Z notation
Results: 301

#	Item
51	Alloy and SCR: An Evaluation and Comparison Justin R. Erenkrantz, Scott Hendrickson Institute for Software Research University of California, Irvine Irvine, CA Add to Reading List Source URL: www.erenkrantz.com Language: English - Date: 2010-08-20 02:44:12 Model checkers Alloy Z notation Semantics Predicate logic Model checking Promela Variable Assertion Software engineering Formal methods Logic
52	Transformation Rules for Z Mark Utting∗ Petra Malik† Ian Toyn Add to Reading List Source URL: cjtcs.cs.uchicago.edu Language: English - Date: 2011-06-03 17:31:23 Oxford University Computing Laboratory Z notation First-order logic Regular expression Unification Rule of inference Logic Mathematical logic Formal languages
53	Open Research Online The Open University’s repository of research publications and other research outputs Grouping axioms for more coherent ontology descriptions Conference Item Add to Reading List Source URL: oro.open.ac.uk Language: English - Date: 2012-12-09 05:17:19 Information science Semantic Web Z notation Ontology Knowledge representation Axiom Web Ontology Language S Type theory Mathematical logic Logic Science
54	ANNUAL REVIEWS Further Annu. Rev. Econ:Downloaded from arjournals.annualreviews.org Add to Reading List Source URL: folk.uio.no Language: English - Date: 2010-08-23 09:05:59 Mathematics Z notation Aging Intergenerational equity Intergenerationality Axiom S Preference Welfare economics Mathematical logic Logic
55	Functional Programming and Specification Practical 3 This is an assessed practical exercise, to be completed by 4pm on Monday 21st March. In contrast to previous exercises, the mark will contribute to the overall mark fo Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2011-03-08 05:35:00 Constructible universe S Heap Axioms of set theory Mathematical logic Z notation Mathematics
56	The 30 Year Horizon M anuel Bronstein James Davenport Albrecht F ortenbacher Jocelyn Guidry M ichael M onagan Add to Reading List Source URL: axiom.axiom-developer.org Language: English - Date: 2014-07-28 17:33:33 Axiom Z notation Euclidean algorithm Function Algorithm S Mathematics Mathematical logic Software
57	Transformation Rules for Z Add to Reading List Source URL: cjtcs.cs.uchicago.edu Language: English - Date: 2011-06-02 16:36:02 Automated theorem proving Logic programming Unification First-order logic Regular expression Z notation Cyc Rule of inference Logic Mathematical logic Formal languages
58	Formal Specification— Z Notation— Syntax, Type and Semantics Consensus Working Draft 2.6 August 24, 2000 Add to Reading List Source URL: www.open-std.org Language: English - Date: 2000-11-02 18:08:54 Software engineering Compiler construction Extended Backus–Naur Form Mathematical notation Universal Character Set Z notation SQL Metalanguage International Organization for Standardization Computing Notation Standards organizations
59	AUTOMATED DOCUMENT CATEGORISATION & INDEXING VIA CONTENT Cognitronics Intelligent Classification Solution (CiCS) automates the manual task of mailroom document sortation and distribution by intelligently classifying scan Add to Reading List Source URL: www.cognitronics.co.uk Language: English - Date: 2014-08-26 12:05:59 IBM software Office work Paper Z notation Search engine indexing Information science Transaction processing CICS
60	MINIMAL-DISTANCE ROUTING FOR KYKLOS II D. Z. Du MIT Cambridge, Mass. Add to Reading List Source URL: www.dtc.umn.edu Language: English - Date: 1998-04-13 22:11:58 Summation Integer sequences Number theory Combinatorics Mathematics Arithmetic Mathematical notation